scrap:随伴関手 - 壱大整域
http://alg-d.com/math/kan_extension/adjoint.pdf
cripped at 2019/08/21 6:47
#壱大整域